The Integration of Task and Data Parallel Skeletons

We describe a skeletal parallel programming library which integrates task and data parallel constructs within an API for C++. Traditional skeletal requirements for higher orderness and polymorphism are achieved through exploitation of operator overloading and templates, while the underlying parallelism is provided by MPI. We present a case study describing two algorithms for the travelling salesman problem

Muggl: The Muenster Generator of Glass-box Test Cases

Testing is a task that requires much effort, yet it is essential for developing software. Automated test case generation (TCG) promises to relieve humans of manual work. We introduce Muggl (the Muenster generator of glass-box test cases), which is developed at our institute. Muggl generates test cases for Java bytecode. It symbolically executes code and uses constraint solving techniques. While papers on Muggl have already been published, no comprehensive introduction of the tool exist. This working paper fills this gap

Two Fundamental Concepts in Skeletal Parallel Programming

We define the concepts of nesting mode and interaction mode as they arise in the description of skeletal parallel programming systems. We sugegs

A Symbolic Java Virtual Machine for Test Case Generation

Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality managment, developers start using software testing tools to facilitate their work. However most existing tools just manage given sets of test cases and check them against pre-defined testing criteria. The necessary test case discovery is usually up to user, who has to generate the test cases in an ad-hoc approach with only minimal support from the software. GlassTT, the tool we present in this paper, faces this problem by creating the needed test cases for a given criterion for a Java class file. It uses a symbolic Java virtual machine to generate constraints representing the conditions for the control flow under consideration. The system can employ a parameterizeable test criterion such as data-flow coverage. The constraint solvers embedded in the tool are capable of solving linear and non-linear constraints, which is sufficient for almost all constraints encountered in the execution of Java programs. They are encapsulated in an incremental constraint solver manager, which dynamically chooses an appropriate constraint solver and enables the efficient communication between constraint solvers and symbolical virtual machine

The Münster Skeleton Library ‚Muesli‘:A Comprehensive Overview

<br

Implementing Encapsulated Search for a Lazy Functional Logic Language

Abstract. A distinguishing feature of logic and functional logic lan-guages is their ability to perform computations with partial data and to search for solutions of a goal. Having a built-in search strategy is convenient but not always sufficient. For many practical applications the built-in search strategy (usually depth-first search via global back-tracking) is not well suited. Also the non-deterministic instantiation of unbound logic variables conflicts with the monadic I/O concept, which requires a single-threaded use of the world. A solution to these problems is to encapsulate search via a primitive operator try, which returns all possible solutions to a search goal in a list. In the present paper we develop an abstract machine that aims at an efficient implementation of encapsulated search in a lazy functional logic language.

Exceptions for Algorithmic Skeletons

to appearInternational audienceAlgorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more complex parallelism behaviors. Programmers fill the skeleton patterns with the functional (business) code, which transforms the generic skeleton into a specific application. However, when the functional code generate exceptions, this exposes the programmer to details of the skeleton library, breaking the high-level abstraction principle. Furthermore, related parallel activities must be stopped as the exception is raised. This paper describes how to handle exceptions in Algorithmic Skeletons without breaking the high-level abstractions of the programming model. We describe both the behavior of the framework in a formal way, and its implementation in Java: the Skandium Library

European Research Center for Information Systems (ERCIS):Gründungsveranstaltung Münster, 12. Oktober 2004

<br

Expression of miRNAs miR-133b and miR-206 in the Il17a/f Locus Is Co-Regulated with IL-17 Production in αβ and γδ T Cells

Differentiation of T helper 17 cells (Th17) is a multistep process that involves the cytokines IL-6, TGF-β, and IL-23 as well as IL-1β, IL-21, and TNF-α. Thereby, robust induction of the capacity to produce IL-17 involves epigenetic modifications of the syntenic Il17a/f locus. Using inbred mouse strains, we identified co-regulation of gene transcription at the Il17a/f locus with the nearby microRNAs miR-133b and miR-206 that are clustered approximately 45 kb upstream of Il17a/f. Expression of these microRNAs was specific for Th17 as compared to other CD4+ T cell subsets and this was equally valid for in vitro polarized and ex vivo derived cells. From all factors analyzed, IL-23 was the most important cytokine for the in vitro induction of miR-133b and miR-206 in naive CD4+ T cells of wild type mice. However, analysis of IL-23R deficient mice revealed that IL-23R signaling was not essential for the induction of miR-133b and miR-206. Importantly, we found a similar co-regulation in CCR6+ and other γδ T cell subsets that are predisposed to production of IL-17. Taken together, we discovered a novel feature of T cell differentiation towards an IL-17-producing phenotype that is shared between αβ and γδ T cells. Notably, the specific co-regulation of miR-133b and miR-206 with the Il17a/f locus also extended to human Th17 cells. This qualifies expression of miR-133b and miR-206 in T cells as novel biomarkers for Th17-type immune reactions